Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
351	Grice, Studies in the Way of Words, 351–2: The most general complaint, which comes from Strawson, Searle, and Mrs. Jack, seems to be that I have, wholly or partially, misidentified the intended (or M-intended) effect i Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2015-04-27 18:24:18 Philosophy of language Semantics Meaning Philosophical logic Dichotomies P. F. Strawson Is–ought problem Word Subject Linguistics Analytic philosophy Philosophy
352	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages
353	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
354	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
355	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
356	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
357	Form NM A-102 THE NELSON MANDELA AFRICAN INSTITUTION OF SCIENCE AND TECHNOLOGY (NM-AIST) Add to Reading List Source URL: nm-aist.ac.tz Language: English - Date: 2015-05-22 04:33:43 Semantics Analytic philosophy Employment Recruitment Logic Philosophical logic Reference
358	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
359	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
360	PDF Document Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2007-07-25 08:36:48 Analytic philosophy Meaning Philosophical logic Pragmatics Illusion of transparency Language T–V distinction Ambiguity Preposition and postposition Linguistics Semantics Philosophy of language

UPDATE